bfs: The two Vertex sets are equal
